Print ?.dvi

Prints the indicated DVI file. This item is initially disabled; the file name changes after you select a DVI file via ``Print DVI ...'' or ``View DVI ...'', or create a DVI file by running TEX.